一年一度的 WAIC 在明天就要开始了，在正式开展之前，我跟随官方的 city walk 路线探访了一番。 我探访的这条「AI+智慧生活路线」一共有三个目的地：上海发那科机器人有限公司、上海腾讯滨江大厦、模速空间的智能产品体验中心。
在硅谷最新一波 AI 创业热潮中，有一家公司的成就让我彻底震惊。Swan AI 创下了几乎所有创业常识都认为不可能的记录：仅用 3 位创始人，没有任何员工，在短短 9 周时间内从零客户、零收入，飙升至 80 个付费客户和接近 100 万美元的年化收入。更令人难以置信的是，他们实现这一切没有筹集大量资金，没有雇佣一个销售人员，没有投放一美元广告，甚至没有建立客户支持团队。
Surge AI 成立于 2020 年，是一家专注于数据标注的公司。自成立以来，主创团队都极为低调，社交平台上鲜有公开动态。即便如此，Surge AI 仍在短短几年内实现了业绩大爆发，并成为业内公认的“领域最大且最好的玩家”。截至 2024 年，Surge AI 的 ARR 已突破 10 亿美元，超越了行业巨头 Scale AI 的 8.7 亿美元收入，成为其最大的竞争对手。
人工智能和数学是密不可分的。 AI 的发展离不开数学的进步，同时 AI 的进步也离不开解决数学问题的能力。
就在刚刚，阿里正式发布全球最强开源推理模型——Qwen3-235B-A22B-Thinking-2507。就在刚刚，阿里正式发布全球最强开源推理模型——Qwen3-235B-A22B-Thinking-2507。
AI Coding太火，微软也坐不住了。 GitHub放大招，新工具GitHub Spark只需自然语言，就能把你的想法变成APP。
近日，来自 OPPO、耶鲁大学、斯坦福大学、威斯康星大学麦迪逊分校、北卡罗来纳大学教堂山分校等多家机构的研究团队联合发布了 Agent KB 框架。这项工作通过构建一个经验池并且通过两阶段的检索机制实现了 AI Agent 之间的有效经验共享。Agent KB 通过层级化的经验检索，让智能体能够从其他任务的成功经验中学习，显著提升了复杂推理和问题解决能力。
上周，OpenAI 正式推出了自己的 Agent 产品，ChatGPT agent。 用户只需扔出一句话，它就能像个聪明的助理一样，查资料、写报告、点网页、跑代码，甚至还能做一整套财报分析，再打包成 PPT。
Cursor突然断供，码农AI Coding就像被砍掉了手脚！如今，清华系最强平替MonkeyCode站在了C位，不仅性能炸裂、成本超低，还能应对复杂编程任务，首发支持Kimi K2和Qwen3。
去年被硬件从业者称作 “AI 硬件元年”，然而时至今年，一批 AI 硬件公司已面临困境。
